Nuprl Definition : w-causl 11,40

e <c e' == e e,e'e <loc e'  ((isrcv(kind(e'))) c (e = sender(e')))^+ e' 
latex



clarification:

w-causl(wee')
== e 
== rel_plus(w-E(w);
== rel_plus((e,e'. w-locl(wee' ((isrcv(w-ekind(we'))) c (e = w-sender(we' w-E(w))))
== rel_plus(e' 
latex


Definitionse <c e', x f y, R^+, P  Q, e <loc e', A c B, b, isrcv(k), kind(e), E, sender(e)
FDL editor aliasesw-causl

origin